| commit | edf80bdff8acc2ba55267b047475925e8ee8c486 | [log] [tgz] |
|---|---|---|
| author | Junio C Hamano <gitster@pobox.com> | Fri Apr 05 22:14:36 2013 |
| committer | Junio C Hamano <gitster@pobox.com> | Fri Apr 05 22:14:36 2013 |
| tree | d36ba64c2487235e1fdcfcef9284b717865cb106 | |
| parent | a6c69e1da8b9a61b59f7f26a8c24db11fb239e13 [diff] [blame] |
Autogenerated HTML docs for v1.8.2-470-g21cce
diff --git a/git-pull.html b/git-pull.html index 8bfd708..4616452 100644 --- a/git-pull.html +++ b/git-pull.html
@@ -996,6 +996,18 @@ </p> </dd> <dt class="hdlist1"> +--verify-signatures +</dt> +<dt class="hdlist1"> +--no-verify-signatures +</dt> +<dd> +<p> + Verify that the commits being merged have good and trusted GPG signatures + and abort the merge in case they do not. +</p> +</dd> +<dt class="hdlist1"> --summary </dt> <dt class="hdlist1">